﻿% Dạng 3.1 Có bao nhiêu con/con vật/loài đẻ/ăn/sống ở {thông tin}?


cau_hoi(lambda(X,TT)) --> nghi_van(NV), thong_tin(TT) ,dau_hoi,{arg(1,TT,NV),arg(1,TT,X)}.

nghi_van(TNV) --> tu_nghi_van(TNV) , doi_tuong_nghi_van.

thong_tin(DT) --> dong_tu(DT) , doi_tuong_thong_tin(DTTT) , {arg(2,DT,DTTT)}.

tu_nghi_van(X) --> [có,bao,nhiêu].

doi_tuong_nghi_van --> [con,vật].

doi_tuong_nghi_van --> [con].

doi_tuong_nghi_van --> [loài].

dong_tu(đẻ(X,Y)) --> [đẻ].

dong_tu(thức_ăn(X,Y)) --> [ăn].

dong_tu(nơi_sống(X,Y)) --> [sống,ở].

doi_tuong_thong_tin(X) --> [X].

dau_hoi --> [?].